Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

By A. S. Troelstra, Helmut Schwichtenberg, H. Schwichtenberg, S. Abramsky

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

By A. S. Troelstra, Helmut Schwichtenberg, H. Schwichtenberg, S. Abramsky

£40.98 Elsewhere ~~£44.99~~ Save £4.01 (9%)

1

Proofs and Computations (Perspectives in Logic)

By Helmut Schwichtenberg, Stanley S. Wainer

Proofs and Computations (Perspectives in Logic)

By Helmut Schwichtenberg, Stanley S. Wainer

£64.90 Elsewhere ~~£71.99~~ Save £7.09 (10%)

Proof and System-Reliability (NATO Science Series II)

By Helmut Schwichtenberg, Ralf Steinbruggen

Proof and System-Reliability (NATO Science Series II)

By Helmut Schwichtenberg, Ralf Steinbruggen

£83.82 Elsewhere ~~£114.00~~ Save £30.18 (26%)

Proof and System-Reliability (NATO Science Series II (Mathematics, Physics and Chemistry))

By Helmut Schwichtenberg, Ralf Steinbrüggen

Proof and System-Reliability (NATO Science Series II (Mathematics, Physics and Chemistry))

By Helmut Schwichtenberg, Ralf Steinbrüggen

£45.58

Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)

By Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg

Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)

By Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg

£174

Logic and Algebra of Specification (Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Markoberdorf, Germany, July 23-August 4, 1991 (NATO ASI))

By Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg

Logic and Algebra of Specification (Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Markoberdorf, Germany, July 23-August 4, 1991 (NATO ASI))

By Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg

£128

Logic of Computation (NATO ASI)

By Helmut Schwichtenberg

Logic of Computation (NATO ASI)

By Helmut Schwichtenberg

£71.11 Elsewhere ~~£96.00~~ Save £24.89 (26%)

Computational Logic (NATO Asi Series / NATO Asi Subseries F:)

By Ulrich Berger, Helmut Schwichtenberg

Computational Logic (NATO Asi Series / NATO Asi Subseries F:)

By Ulrich Berger, Helmut Schwichtenberg

£128

Computer Science Logic (14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Peter G. Clote, Helmut Schwichtenberg

Computer Science Logic (14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Peter G. Clote, Helmut Schwichtenberg

£88.71

Logic and Algebra of Specification (NATO ASI Subseries F:)

By Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg

Logic and Algebra of Specification (NATO ASI Subseries F:)

By Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg

£128

Computational Logic (Nato ASI Subseries F:)

By Ulrich Berger, Helmut Schwichtenberg

Computational Logic (Nato ASI Subseries F:)

By Ulrich Berger, Helmut Schwichtenberg

£128

Logic of Computation (Nato ASI Subseries F:)

By Helmut Schwichtenberg

Logic of Computation (Nato ASI Subseries F:)

By Helmut Schwichtenberg

£45.03

Proof and Computation (NATO ASI Subseries F:)

By Helmut Schwichtenberg

Proof and Computation (NATO ASI Subseries F:)

By Helmut Schwichtenberg

£88.69

Proof And Computation Ii (From Proof Theory And Univalent Mathematics To Program Extraction And Verification)

By Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster

Proof And Computation Ii (From Proof Theory And Univalent Mathematics To Program Extraction And Verification)

By Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster

£125 Elsewhere ~~£135.00~~ Save £10.00 (7%)

Proof And Computation (Digitization In Mathematics, Computer Science, And Philosophy)

By Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg

Proof And Computation (Digitization In Mathematics, Computer Science, And Philosophy)

By Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg

£89.55 Elsewhere ~~£100.00~~ Save £10.45 (10%)

Die Legende von Mudder Schulten [German] (Auf der Jagd nach Mecklenburger Geschichte(n))

By Borth, Helmut

Die Legende von Mudder Schulten [German] (Auf der Jagd nach Mecklenburger Geschichte(n))

By Borth, Helmut

£14.70 Elsewhere ~~£17.50~~ Save £2.80 (16%)

Logic Colloquium 2005 (2005 (Lecture Notes in Logic))

By Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel

Logic Colloquium 2005 (2005 (Lecture Notes in Logic))

By Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel

£71.05 Elsewhere ~~£111.00~~ Save £39.95 (36%)

Logicism, Intuitionism, and Formalism (What Has Become of Them? (Synthese Library))

By Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen

Logicism, Intuitionism, and Formalism (What Has Become of Them? (Synthese Library))

By Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen

£216 Elsewhere ~~£249.99~~ Save £33.99 (14%)

Mathesis Universalis, Computability and Proof (Synthese Library)

By Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster

Mathesis Universalis, Computability and Proof (Synthese Library)

By Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster

£108

Mathesis Universalis, Computability and Proof (Synthese Library)

By Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster

Mathesis Universalis, Computability and Proof (Synthese Library)

By Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster

£108

Logic, Construction, Computation (Ontos Mathematical Logic)

By Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger

Logic, Construction, Computation (Ontos Mathematical Logic)

By Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger

£188 Elsewhere ~~£201.00~~ Save £13.00 (6%)

Logicism, Intuitionism, and Formalism (What Has Become of Them? (Synthese Library))

By Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen

Logicism, Intuitionism, and Formalism (What Has Become of Them? (Synthese Library))

By Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen

£196 Elsewhere ~~£249.99~~ Save £53.99 (22%)

View:
Safe Search(?):